Michael Gordon

Results: 196



#Item
41Theoretical computer science / Denotational semantics / Logic in computer science / Predicate / Heap / Linguistics

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2013-11-06 23:28:44
42

Automatic Segmentation and Recognition of Human Activities from Observation based on Semantic Reasoning Karinne Ramirez-Amaro1 , Michael Beetz2 and Gordon Cheng1 Abstract— Automatically segmenting and recognizing human

Add to Reading List

Source URL: mediatum.ub.tum.de

Language: English - Date: 2015-03-13 05:47:49
    43

    Match Play vs. ParLeon Lowery Michael Gordon Juan Guillen Larry Siu

    Add to Reading List

    Source URL: cdn.cybergolf.com

    - Date: 2015-06-07 14:38:39
      44

      You-Me-Us Results Gross Results Team Bryan Koslosky & Ryan Tighe Ted Coon & Michael Gordon Scott Kremer & Kevin Harlen

      Add to Reading List

      Source URL: cdn.cybergolf.com

      - Date: 2015-04-26 20:25:53
        45

        JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

        Add to Reading List

        Source URL: www.cs.drexel.edu

        Language: English - Date: 2016-03-03 13:09:40
          46

          Static Lock Capabilities for Deadlock Freedom Colin S. Gordon Michael D. Ernst Dan Grossman

          Add to Reading List

          Source URL: www.cs.drexel.edu

          Language: English - Date: 2016-03-03 13:09:40
            47Astronomy / Physical cosmology / Quasar / Radio astronomy / Redshift / Galaxy / Physics / Astronomical surveys / Sloan Digital Sky Survey / Redshift quantization

            The Clustering of Low-redshift z ≤ 2.2 SDSS Quasars Nic Ross Pennsylvania State University Yue Shen, Michael Strauss (Princeton), Gordon Richards (Drexel), Dan Vanden Berk, Don Schneider (PSU), Andrew Connolly

            Add to Reading List

            Source URL: sdss2008.uchicago.edu

            Language: English - Date: 2015-07-01 19:27:10
            48

            Preswing Knee Flexion Assistance Is Coupled With Hip Abduction in People With Stiff-Knee Gait After Stroke James S. Sulzer, PhD; Keith E. Gordon, PhD; Yasin Y. Dhaher, PhD; Michael A. Peshkin, PhD; James L. Patton, PhD B

            Add to Reading List

            Source URL: peshkin.mech.northwestern.edu

            Language: English - Date: 2012-09-28 12:36:45
              49

              UBC Health & Wellbeing Think Tank Meeting January 9, 2013 Present: Louise Cowin, Marion Lay, Janet Teasdale, Wendy Frisby, David Burleigh, Ben Pollard, Michael Tan, Donna Lee, Gordon Binsted, Patricia Mirwaldt Absent: An

              Add to Reading List

              Source URL: vpstudents.sites.olt.ubc.ca

              Language: English - Date: 2013-02-07 17:47:10
                50

                Victoria Mora Michael McDuffie Lewis Gordon Gail Weiss Maurice Natanson Nobuo

                Add to Reading List

                Source URL: www.aleph.se

                Language: English - Date: 2006-10-09 13:24:30
                  UPDATE